name is any string of characters starting with a letter, followed by up to 9 letters or numbers. A numerical constant is a string of digits {0..9} with a decimal point somewhere in it. Separate constant definitions are separated by spaces. Then type a
